تأثیر برنامج باستخدام تدریبات TRX & Viper علی مستوی اداء بعض المتغیرات البدنیة والمستوی الرقمی لسباحی 100م حرة
نویسندگان
چکیده
منابع مشابه
trx: Regular-tree expressions, now in Scheme
Regular-tree expressions are to semi-structured data, such as XML and Lisp s-expressions, what standard regular expressions are to strings: a powerful “chainsaw” for describing, searching and transforming structure in large data sets. We have designed and implemented a little language, trx, for defining regular-tree patterns. We discuss the design of trx, its underlying mathematical formalisati...
متن کاملTRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing formally correct parsers. We are using parsing expression grammars (PEGs), a formalism essentially representing recursive descent parsing, whi...
متن کاملA random zoo: sloth, unicorn, and trx
Many applications require trustworthy generation of public random numbers. It is shown how this can be achieved using a hash function that is timed to be as slow as desired (sloth), while the correctness of the resulting hash can be verified quickly. It is shown how sloth can be used for uncontestable random number generation (unicorn), and how unicorn can be used for a new trustworthy random e...
متن کاملLength of Russel's Viper
To the Editor of " The Indian Medical Gazette. Dear Sir,-Will you kindly permit me to inquire through the medium of your paper, if any reader will please inform me directly or indirectly of the biggest known dimensions o a Russel's Viper? , Two years ago it was my good fortune to kill one nt with the best markings I have ever seen, and last year I sno one 4' 9" long with a girth of 5.|." 1 thin...
متن کاملVIPER - Visual Pattern Explorer
We present Viper, for Visual Pattern Explorer, an innovative, browser-based application for interactive pattern exploration, assisted by visualisation, recommendation, and algorithmic search. The target audience consists of domain experts who have access to data but not to –potentially expensive– data mining experts. The goal of the system is to enable the target audience to perform true explor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: مجلة سیناء لعلوم الریاضة
سال: 2017
ISSN: 2682-3608
DOI: 10.21608/jsss.2017.93851